List of Authors

Failure A user-introduced failure without a specific interpretation in the model. Application Condition A condition in propositional logic (alternately represented as a set of sets offeatures) indicating to which feature configurations a delta is applicable. Application Function A function mapping deltas to their application condition. Class Refinement Like class inheritance, except that the new ‘subclass’ completely supplants the original,being instantiated everywhere the original was instantiated before. Compatibility of Feature Fodels Condition indicating if two features, products, or product lines can bereconciled. Conflict The condition between two incompatible, non-ordered deltas. Conflict Resolving Delta The delta that resolves a given conflict between two other deltas. It has to begreater in the partial order than the conflicting deltas and equalize the two possible orderings betweenthem. Consistent Conflict Resolution A condition of a deltoid which simplifies the conflict resolver property(and thus the unambiguity property). Core In delta modeling, the core is the basic product that may be modified by product-deltas. The coremay also be seen as a delta modifying the empty product. Core ABS The behavioral functional and object-oriented core of the ABS modeling language. Delta A unit of functionality and conflict resolution in delta modeling, able to modify a product usinginvasive composition of code or other content. Delta Model Generally, a means for expressing the semantics of features within product lines. In theformalism, a delta model is defined more specifically as (D,≺), a partially ordered set of deltas. Deployment Component A modeling abstraction for deployment choices, restricting the execution ca-pacity of different parts of ABS models. Deployment Architecture The architectural description of a model; i.e., how COGs are allocated todeployment components. Deployment Scenario A deployment architecture with given amounts of resources for the different de-ployment components.